Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系，系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

I'm delighted to meet you, Mr. Peter.
皮特先生，很高兴认识你。
He looks down on me.
他根本不把我放在眼里。
First it made a circle to the right, then to the left.
令他吃惊的是，蜜蜂开始在蜂窝的表面表演一种舞蹈。
更多情景英语 ›

🔤 更多 T 开头的单词

tappoon
Tay-Sachs ['tei'sæks]
tetrazane
the discharge of a debt
tiglic
title of possession
toxipathy
triangulates
全部 T 开头单词 ›